<HTML><HEAD><TITLE>close_delta_file</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(instprofile)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>close_delta_file</H1>
Close the instrumentation profiler's delta results file.
<DL>
</DL>
<H2>Description</H2>
<P>    
   Close the file that the instrumentation profiler writes delta values to.
   The file must previously have been opened using open_delta_file/1. 
   </P><P>
   Delta values are the instrumentation profiling results for the single
   execution (as opposed to aggregated) of a profiled code fragment.
   </P><P>
   For performance reasons, the results are written to the file using 
   buffered I/O - each result is not flushed to the file as it is emitted. 
   As a result to ensure all results are flushed to the disk file,
   <TT>close_delta_file</TT> must be executed.
   </P>
<H3>Fail Conditions</H3>
no
<H3>Resatisfiable</H3>
no
<H2>See Also</H2>
<A HREF="../../lib/instprofile/open_delta_file-1.html">open_delta_file / 1</A>, <A HREF="../../lib/instprofile/statprofile-3.html">statprofile / 3</A>, <A HREF="../../kernel/env/statistics-2.html">statistics / 2</A>, <A HREF="../../lib/instprofile/index.html">library(instprofile)</A>
</BODY></HTML>
